Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
611	Implementing and Composing MDSD-Typical DSLs TR-Nr.: TUD-CS[removed]Tom Dinkelaker, [removed] Technische Universität Darmstadt, Germany Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2011-04-18 10:25:29 Scripting languages Aspect-oriented software development Programming paradigms Domain-specific language Unified Modeling Language Programming language Groovy Ruby Scala Computing Software engineering Computer programming
612	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
613	Using Matlab at CUED Tim Love July 24, 2006 Abstract This document does not try to describe matlab comprehensively (see matlab’s HelpDesk or the installed tutorial documents1 for this), rather it introduces non-beginne Add to Reading List Source URL: www-h.eng.cam.ac.uk Language: English - Date: 2006-07-24 07:22:49 Numerical linear algebra MATLAB Scripting languages Programming paradigms Command shells Array programming AS/400 Control Language Printf format string C Software Computing Array programming languages
614	From: AAAI-83 Proceedings. Copyright ©1983, AAAI (www.aaai.org). All rights reserved. INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS Jack Minker Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 18:28:48 Computing Programming paradigms Operations research Logic programming Prolog Mathematical optimization Backtracking Constraint logic programming Constraint satisfaction Constraint programming Software engineering Computer programming
615	Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems Christos Efstratiou1 , Adrian Friday1 , Nigel Davies1,2 and Keith Cheverst1 1 Computing Department Lancaster University Add to Reading List Source URL: eprints.lancs.ac.uk Language: English - Date: 2011-07-07 12:10:50 Logic in computer science Logic programming Knowledge representation Event calculus Fluent Predicate logic Programming paradigms Futures and promises Adaptive management Mathematical logic Mathematics Logic
616	J. Functional Programming 3(1):49{65, January 1993 c 1993 Cambridge University Press Teaching functional programming to rst-year students Stef Joosten (ed.), Klaas van den Berg, Gerrit van der Hoeven University of Twent Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:32:32 Functional languages Programming paradigms Literate programming Notation Programming language Functional programming Imperative programming Assignment Miranda Software engineering Computing Computer programming
617	DOC Document Add to Reading List Source URL: www.cse.lehigh.edu Language: English - Date: 1999-09-30 15:19:57 Logic in computer science Cross-platform software Object-oriented programming Programming paradigms Eiffel Subroutines Constructor Precondition Exception handling Software engineering Computing Computer programming
618	K¨ unstliche Intelligenz manuscript No. (will be inserted by the editor) What Language Do You Use To Create Your AI Programs and Why? Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Constraint programming Programming paradigms Lisp programming language Prolog Functional languages Lisp Logic programming Planner Oz Software engineering Computing Computer programming
619	Advances in Programming Languages APL4: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-01 08:46:14 Functional languages Evaluation strategy Programming paradigms Functional programming Flapjax Functional reactive programming Haskell Reactive programming Programming language Software engineering Computing Computer programming
620	Contracts in Trinity Andres L¨ oh joint work with Ralf Hinze and Andreas Schmitz Universit¨ at Bonn Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming paradigms Programming language Generic programming Object-oriented programming Imperative programming Functional programming Nice Haskell D Software engineering Computing Computer programming

UPDATE